221. Assignment and matching problems : solution methods with FORTRAN-programs
پدیدآورنده : Burkard, Rainer E.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Programming )Mathematics(-- Computer programs,، FORTRAN )Computer program language(
رده :
QA
402
.
5
.
B86
222. Assignment problems /
پدیدآورنده : Rainer Burkard, Mauro Dell'Amico, Silvano Martello
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Assignment problems (Programming),Computer science-- Mathematics
رده :
QA402
.
6
.
B87
2009
223. Assignment problems
پدیدآورنده : Burkard, Rainer E.
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Assignment problems )Programming(,Mathematics ، Computer science
رده :
QA
402
.
6
.
B87
224. Asymptotic Statistics :
پدیدآورنده : edited by Petr Mandl, Marie Hušková.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Distribution (Probability theory),Operations research.,Statistics.
رده :
QA276
.
A1
E358
1994
225. Asymptotic cones and functions in optimization and variational inequalities
پدیدآورنده : Auslender, A. )Alfred(
کتابخانه: المكتبة المركزية ومركز التوثيق (کلستان)
موضوع : ، Convex functions,، Convex programming,، Mathematical optimization,، Variational inequalities )Mathematics(
رده :
QA
331
.
5
.
A88
226. Asymptotic cones and functions in optimization and variational inequalities
پدیدآورنده : / Alfred Auslender, Marc Teboulle
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Convex functions,Convex programming,Mathematical optimization,Variational inequalities (Mathematics)
رده :
QA331
.
5
.
A88
2003
227. Ausgewahlte Beispiele fur Nichtlineares programmieren
پدیدآورنده : Bracken, Jerome
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Programming )Mathematics(,، Mathematical Opimization
رده :
QA
264
.
B6815
228. Automata and computability :
پدیدآورنده : Ganesh Lalitha Gopalakrishnan.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic control-- Data processing.,Digital control systems-- Programming.,Machine theory.,Automatic control-- Data processing.,COMPUTERS / General,COMPUTERS / Information Theory,Machine theory.,MATHEMATICS / General,TECHNOLOGY & ENGINEERING / Engineering (General)
رده :
TJ223
.
M53
G663
2019
229. Automated Deduction - A Basis for Applications
پدیدآورنده : edited by Wolfgang Bibel, Peter H. Schmitt.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
230. Automated Theory Formation in Pure Mathematics
پدیدآورنده : by Simon Colton.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
QA8
.
4
B975
2002
231. Automated deduction - A Basis for applications
پدیدآورنده : edited by wolfgang Bibel, Peter H. Schmitt
کتابخانه: (خراسان الجنوبیة)
موضوع : ، Logic programming,، Logic )mathematics(
رده :
QA
76
.
63
.
A8
L6
232. Automated technology for verification and analysis :
پدیدآورنده : Shuvendu K. Lahiri, Chao Wang (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
A96
233. Automatic program development :
پدیدآورنده : edited by Olivier Danvy [and others].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms.,Program transformation (Computer programming),Programming (Mathematics),Computer algorithms.,Informatique.,MATHEMATICS-- Linear & Nonlinear Programming.,Program transformation (Computer programming),Programming (Mathematics)
رده :
QA402
.
5
.
A88
2008eb
234. Automatic programming and numerical methods of analysis
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Automatic programming )Computer science(-- Addresses, essays, lectures,، Numerical analysis-- Data processing-- Addresses, essays, lectures
رده :
QA
76
.
6
.
A913
235. Automatic programming, numerical methods and functional analysis
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Automatic programming )Computer science(-- Addresses, essays, lectures,، Numerical analysis-- Addresses, essays, lectures,، Functional analysis-- Addresses, essays, lectures
رده :
QA
1
.
A413
no
.
96
236. Automatic programming, numerical methods and functional analysis
پدیدآورنده : edited by V. N. Faddeeva
کتابخانه: (طهران)
موضوع : Addresses, essays, lectures ، Automatic programming )Computer science(,Addresses, essays, lectures ، Numerical analysis,Addresses, essays, lectures ، Functional analysis
رده :
QA
1
.
P736
Vol
.
96
237. BONUS algorithm for large scale stochastic nonlinear programming problems /
پدیدآورنده : Urmila Diwekar, Amy David
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algorithms.,Stochastic programming.,Algorithms.,Mathematics.,Stochastic Processes.
رده :
T57
.
79
238. Basic programming
پدیدآورنده : KEMENY,JOHN G
کتابخانه: (طهران)
موضوع : BASIC )COMPUTER PROGRAM LANGUAGE( , ELECTRONIC DATA PROVESSING-MATHEMATICS
رده :
QA
76
.
5
.
K38
1971
239. Basic programming
پدیدآورنده : / John G. Kemeny, Thomas E. Kurtz
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Basic (Computer program language),Electronic data processing - Mathematics
رده :
001
.
6424
K31
1971
240. Basic programming
پدیدآورنده : Kemeny, John G
کتابخانه: (طهران)
موضوع : ، BASIC )Computer program language(,، Mathematics -- Data processing
رده :
QA
76
.
5
.
K38
1971
